Prove that the length of two tangents drawn from an external point to a circle are equal